悟空视频

    在线播放云盘网盘BT下载影视图书

    Sheaves in Geometry and Logic: A First Introduction to Topos Theory - 图书

    导演:Saunders Mac Lane
    Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as...(展开全部)
    Sheaves in Geometry and Logic: A First Introduction to Topos Theory
    图书

    Sheaves in Geometry and Logic: A First Introduction to Topos Theory - 图书

    1992
    导演:Saunders Mac Lane
    Sheaves in Geometry and Logic: A First Introduction to Topos Theory
    图书

    A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and - 图书

    2004
    导演:Shawn Hedman
    The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible t...(展开全部)
    A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
    搜索《A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity》
    图书

    Conceptual Mathematics: A First Introduction to Categories: A First Introduction to Categories - 图书

    导演:F. William Lawvere
    In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics, Second Edition, introduces the concept of ’category’ for the learning, development, and use of mathematics, to both beginning students and general readers, and to practicing mathematical scientists. The treatment does not presupp...(展开全部)
    Conceptual Mathematics: A First Introduction to Categories: A First Introduction to Categories
    搜索《Conceptual Mathematics: A First Introduction to Categories: A First Introduction to Categories》
    图书

    A Course in Derivative Securities: Introduction to Theory and Computation - 图书

    导演:Kerry Back
    This book aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the pro...(展开全部)
    A Course in Derivative Securities: Introduction to Theory and Computation
    搜索《A Course in Derivative Securities: Introduction to Theory and Computation》
    图书

    A Course in Derivative Securities: Introduction to Theory and Computation - 图书

    导演:Kerry Back
    A Course in Derivative Securities: Introduction to Theory and Computation
    搜索《A Course in Derivative Securities: Introduction to Theory and Computation》
    图书

    Introduction to Logic: - 图书

    2016
    导演:Harry J. Gensler
    Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, include: • simpler ways to test arguments, including an innovative proof method and the star test for syllogisms; • a wide scope of materials, suiting it for introductory or intermediate course...(展开全部)
    Introduction to Logic:
    搜索《Introduction to Logic:》
    图书

    Introduction to Logic - 图书

    导演:Irving M. Copi
    This book introduces the fundamental methods and techniques of correct reasoning, in a manner that shows the relevance of the topics to readers everyday lives. Many new exercises introduced in this edition help supplement and support explanations, aid in review, and make the book visually stimulating. KEY TOPICS: Includes many fascinating illustrations taken from the history of...(展开全部)
    Introduction to Logic
    搜索《Introduction to Logic》
    图书

    Introduction to Logic - 图书

    2010
    导演:Irving M·Copi Late
    The 14th Edition of Introduction to Logic, written by Copi, Cohen & McMahon, is dedicated to the many thousands of students and their teachers - at hundreds of universities in the United States and around the world - who have used its fundamental methods and techniques of correct reasoning in their everyday lives. To those who have not previously used or reviewed Introduction t...(展开全部)
    Introduction to Logic
    搜索《Introduction to Logic》
    图书

    Introduction to Logic - 图书

    1995
    导演:Alfred Tarski
    This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
    Introduction to Logic
    搜索《Introduction to Logic》
    图书
    加载中...